Autojection et compilateurs procedure formelle symbolique

Recherche - SPPoC: manipulation automatique de polyèdres pour la compilation

RÉSUMÉ. Le modèle polyèdrique est très souvent utilisé pour l’analyse et la transformation de programme dans les compilateurs paralléliseurs. Les prototypes de recherche dans ce domaine utilisent donc souvent des outils comme PIP (résolution paramétrique de problèmes linéaires), la PolyLib (bibliothèque de manipulation de polyèdres) ou Omega (bibliothèque et interface de manipulation de formule...

Recherches Sur La Representation Des Connaissances Le Systeme Arches

Ce papier pr~sente ladescription formelle d'un syst~me symbolique de representation de connaissances, le systgme ARCHES. Co~e tout syst~me formel, il est form~ de deux composantes interd~pendantes. La premiere est relative aux modalit6s de representation des connaissances qui sont d~termin~es par le langage objet de ARCHES et l'organisation alg~brique de ses ~l~ments. La deuxi~me est relative ~...

INTERVENTION SYMBOLIQUE DANS LE CHAMP SEMANTIQUE DE CERTAINES LOCUTIONS ET SON ROLE DANS LA FORMATION DECELLES-CI

Integrating Formal Veriication Methods of Quantitative Real-time Properties into a Development Environment for Robot Controllers Integrating Formal Veriication Methods of Quantitative Real-time Properties into a Development Environment for Robot Controllers

In this paper we describe our experience with a development environment for robot controllers, which provides the user with formal veriication func-tionalities. We study how to augment these functionalities by also allowing formal veriication of quantitative real-time properties. Our approach is based on the timed extension of a synchronous language, named Timed-Argos, and on a symbolic model-c...

Compilation pour cibles hétérogènes: automatisation des analyses, transformations et décisions nécessaires

Résumé Les accélérateurs matériels, telles les cartes FPGA ou les cartes graphiques, apportent une alternative ou un complément intéressant aux processeurs multi-cœurs classiques pour de nombreuses applications scientifiques. Il est cependant coûteux et difficile d’y porter des applications existantes ; et les compilateurs standards, traditionnellement portés sur la génération de code pour proc...